murrax.dev Recently Edited: Learning with ObsidianObject Capabilities Security ModelModal's GPU Glossary

Practical Foundations for Programming Languages

I Judgements and Rules

Abstract Syntax

We define a piece of syntax as a finite tree with additional means of expressing the binding and scope of identifiers.

1.1 Abstract Syntax Trees

1.2 Abstract Syntax Trees